Set Theory Subset Proof